Horizontal Composability RevisitedSANNELLA, Donald; TARLECKI, Andrzej.Algebra, meaning, and computation (essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday). Lecture notes in computer science. 2006, pp 296-316, issn 0302-9743, isbn 3-540-35462-X, 1Vol, 21 p.Book Chapter

Object-oriented programming : Regaining the excitementBLACK, A. P.Lecture notes in computer science. 1999, pp 519-528, issn 0302-9743, isbn 3-540-66156-5Conference Paper

An introduction to a formal theory of dependence analysisUTPAL BANERJEE.Journal of supercomputing. 1988, Vol 2, Num 2, pp 133-149, issn 0920-8542Article

CrocoCosmosLEWERENTZ, Claus; SIMON, Frank; STEINBRÜCKNER, Frank et al.Lecture notes in computer science. 2002, pp 446-447, issn 0302-9743, isbn 3-540-43309-0Conference Paper

Specification statements and refinementMORGAN, C; ROBINSON, K.IBM journal of research and development. 1987, Vol 31, Num 5, pp 546-555, issn 0018-8646Article

Subtypes and quantification. ReplyVOLPANO, D. M; BURTON, F. W.ACM transactions on programming languages and systems. 1991, Vol 13, Num 4, pp 631-633, issn 0164-0925Article

Tools for extracting software structure from compiled programsHWEI SHENG TEOH; WORTMAN, David B.International Conference on Software Maintenance. 2004, isbn 0-7695-2213-0, p. 526Conference Paper

Efficient dispatch of java interface methodsALPERN, Bowen; COCCHI, Anthony; GROVE, David et al.Lecture notes in computer science. 2001, pp 621-628, issn 0302-9743, isbn 3-540-42293-5Conference Paper

The Oberon-2 reflection model and its applicationMÖSSENBÖCK, H; STEINDL, C.Lecture notes in computer science. 1999, pp 40-53, issn 0302-9743, isbn 3-540-66280-4Conference Paper

Towards systematic synthesis of reflective middlewareTUMA, P; ISSARNY, V; ZARRAS, A et al.Lecture notes in computer science. 1999, pp 144-146, issn 0302-9743, isbn 3-540-66280-4Conference Paper

A linked forest manipulation system semantics rules for an attributed translation grammar for PL/OMCCLUSKEY, C. P. S.International journal of computer mathematics. 1988, Vol 24, Num 1, pp 1-28, issn 0020-7160Article

Equivalent logic programs and symmetric homogeneous forms of logic programs with equalityKWOK HUNG CHAN.Computational intelligence. 1987, Vol 3, Num 3, pp 137-145, issn 0824-7935Article

Tree schemata and fair terminationMAUBORGNE, L.Lecture notes in computer science. 2000, pp 302-321, issn 0302-9743, isbn 3-540-67668-6Conference Paper

Interprocedural path profilingMELSKI, D; REPS, T.Lecture notes in computer science. 1999, pp 47-62, issn 0302-9743, isbn 3-540-65717-7Conference Paper

A step towards a methodology for mercury program construction : A declarative semantics for mercuryBALDAN, D; LE CHARLIER, B; LECLERE, C et al.Lecture notes in computer science. 1999, pp 21-40, issn 0302-9743, isbn 3-540-65765-7Conference Paper

An object-oriented effects systemGREENHOUSE, A; BOYLAND, J.Lecture notes in computer science. 1999, pp 205-229, issn 0302-9743, isbn 3-540-66156-5Conference Paper

MPC '98 : mathematics of program construction (Marstrand, 15-17 June 1998)Jeuring, Johan.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-64591-8, X, 382 p, isbn 3-540-64591-8Conference Proceedings

An application of program derivation techniques to 18th-century mathematicsBIJLSMA, A.Lecture notes in computer science. 1998, pp 44-51, issn 0302-9743, isbn 3-540-64591-8Conference Paper

Termination analysis for tabled logic programmingDECORTE, S; DE SCHREYE, D; LEUSCHEL, M et al.Lecture notes in computer science. 1998, pp 111-127, issn 0302-9743, isbn 3-540-65074-1Conference Paper

Essential concepts of algebraic specification and program developmentSANNELLA, D; TARLECKI, A.Formal aspects of computing. 1997, Vol 9, Num 3, pp 229-269, issn 0934-5043Article

The initial stage of program comprehensionWIEDENBECK, S.International journal of man-machine studies. 1991, Vol 35, Num 4, pp 517-540, issn 0020-7373Article

Conditional statements, looping constructs, and program comprehension: an experimental studyISELIN, E. R.International journal of man-machine studies. 1988, Vol 28, Num 1, pp 45-66, issn 0020-7373Article

Extending graph rewriting for refactoringVAN EETVELDE, Niels; JANSSENS, Dirk.Lecture notes in computer science. 2004, pp 399-415, issn 0302-9743, isbn 3-540-23207-9, 17 p.Conference Paper

Skel-BSP: Performance portability for skeletal programmingZAVANELLA, A.Lecture notes in computer science. 2000, pp 290-299, issn 0302-9743, isbn 3-540-67553-1Conference Paper

Page / 16